Visualisation of Control Software for Cyber-Physical Systems

Cyber-physical systems are typically composed of a physical system (plant) controlled by software (controller). Such controller, given plant state s and action u, returns 1 iff taking u in leads to the goal or at least one step closer it. Since controller K is stored compressed form, it difficult for human designer actually understand how “good” is. Namely, natural questions such as “does cover wide enough portion space?”, most important space?” “which actions enabled hard answer directly looking K. This paper provides methodology automatically generate picture 2D diagram, starting from canonical representation relying on available open source graphing tools (e.g., Gnuplot). allows listed above, thus achieving better qualitative understanding hand.